first-order predicate calculus
英 [fɜːst ˈɔːdə(r) ˈpredɪkət ˈkælkjələs]
美 [fɜːrst ˈɔːrdər ˈpredɪkət ˈkælkjələs]
网络 一阶谓词演算
双语例句
- This is not expressible as a first-order predicate calculus property.
这就是一个一阶谓词演算不可表述的属性。 - This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎似乎这种原地就需要实现特定的语言扩展，于是一些人建议引入一阶谓引入一些实现词演算。 - Also, first-order predicate calculus isn't good enough anyway.
同时，从各方面来说，一阶谓词演算都不是足够好。 - Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法 - Three temporal logics i.e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。 - This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring.
引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。 - This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. And a logic deduction system is put forward in this paper: Refactoring Reliability Deduction System.
本文从理论上对重构的可行性和可靠性进行了较深入的研究。引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。